Discrete Math Direct Proofs Examples